<fieldset>
<legend id="xmlfilename"></legend>
<div style="width:90%;overflow:auto;"><code id="xmlfilecontent" style="text-align:left;font-size:1.2em"></code></div>

<script type="text/javascript">
currentDocboxName = $('docbox_name').value;
$('xmlfilename').setHTML("<strong>" + currentDocboxName + ".xml</strong>");
var request = new Ajax('getxmlcontent', {method: 'post', data:'name='+currentDocboxName, evalScripts:true,
    onSuccess: function() {
        $('xmlfilecontent').setHTML(request.response['text']);
    }
});
request.request();
</script>
<fieldset>